perm filename ALM[1,JRA] blob sn#005831 filedate 1972-07-21 generic text, type T, neo UTF8
00100	L(X1 X2)→LE(X1 X2);
00200	LE(X1 X2)→LE(SUB1(X1) SUB1(X2));
00300	LE(SUB1(X1) X1);
00400	(LE(X1 X2) ∧LE(X2 X3))→LE(X1 X3);
00500	E(SUB1(ADD1(X1)) X1);
00600	E(ADD1(SUB1(X1)) X1);
00700	;